Binary categories
نویسنده
چکیده
These notes (still in draft form) arose from a challenge arising in the discussion of FMathL on the n-Category Café. I had claimed: “ For example, one can express with this naturally (and every mathematician immediately understands without the need for explanations) that ordered monoids are the objects in the intersection of Order and Monoid satisfying the compatibility relation R (suitably defined), and many other similar constructs.”
منابع مشابه
Partitioned Binary Relations
We define the category of partitioned binary relations and show that it contains many classical diagram categories, including categories of binary relations, maps, injective maps, partitions, (oriented) Brauer diagrams and (oriented) Temperley-Lieb diagrams. We construct a one-parameter deformation of the category of partitioned binary relations and show that it gives rise to classical one-para...
متن کاملBicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When th...
متن کاملCoarse, e¢ cient decision-making
To achieve e¢ ciency, an agent who uses criteria to make choice decisions should employ the coarse criteria that have a small number of categories. Coarse criteria reduce decision-making cost even though an agent, to maintain the number of choice distinctions, must use more criteria. The most e¢ cient criteria are binary with two categories each; this result holds even if the marginal cost of u...
متن کاملBicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When th...
متن کاملPractical methods for ordinal data meta-analysis in stroke
Ordinal outcomes are common in medical research. However, in meta-analyses, they are routinely analysed as binary outcomes. The aim of this study was to compare fixed effects meta-analyses using ordinal methods (proportional odds) with binary methods (binary logistic regression) and assess any changes in conclusions and gains in precision. The Modified Rankin Scale (mRS) is a commonly used outc...
متن کاملBicartesian Coherence Bicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It is found that with the simplest under...
متن کامل